TAGs: probability formula